例句與造句

1. They again propose the definition of a " predicative function " as one that does not violate The Theory of Logical Types.
2. Cybernetics contains Russell and Whitehead's theory of logical types : there is a logical discontinuity between set and element, and in some cases the set cannot be an element of itself.
3. Craig responded, in " an almost theory of logical types forbids the mixing of different " levels " to avoid paradox, " practical communication necessarily does exactly that . " Actual communication is fraught with paradox, and while a logicians ideal would have us try and resolve these paradoxes, in actual practice we don't because there is no way to do so.
4. About two decades before introducing the metamessage terminology into his works, Bateson studied by what " mood sign [ al ] " ( his earlier term for metamessage ) subordinated messages are interpreted " seriously, jokingly, sarcastically, as gestures of friendliness, as acts of aggression " etc . Invoking Bertrand Russell's Theory of Logical Types, Bateson proposed that for every signal, there is always signal level above it which precisely determines its interpretation.
5. This usage carries over to Alfred North Whitehead and Russell's 1913 " Principia Mathematica " wherein the authors devote an entire subsection of their Chapter II : " The Theory of Logical Types " to subchapter I . " The Vicious-Circle Principle " : " We will define a function of one variable as " predicative " when it is of the next order above that of its argument, i . e . of the lowest order compatible with its having that argument . ..
6. It's difficult to find theory of logical types in a sentence. 用theory of logical types造句挺難的
7. Among his important articles : " Nominalism and Conceptualism as Predicative Second Order Theories of Predication ", " Notre Dame Journal of Formal Logic ", vol . 21 ( 1980 ); " Richard Montague and the Logical Analysis of Language ", in " Contemporary Philosophy : A New Survey ", vol . 2, " Philosophy of Language / Philosophical Logic ", G . Fl鴌stad, ed ., Martinus Nijhoff, The Hague ( 1981 ) and " The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy ", " Synth鑣e ", vol . 45 ( 1980 ).